Grumberg, V.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Gothic Temporalities and Insecure Sanctuaries in Lea Goldberg's The Lady of the Castle and Edgar Allan Poe's “Masque of the Red Death”

Grumberg, Karen

Journal:

Comparative Literature

Year:

2016

Language:

english

File:

PDF, 875 KB

english, 2016

2

The Jewish Woman and Her Body / Consulting Editor: Rachel S. Harris || Female Grotesque: Orly Castel-Bloom and the Israeli Woman's Body

Journal:

Nashim A Journal of Jewish Women's Studies & Gender Issues

Year:

2012

Language:

english

File:

PDF, 398 KB

english, 2012

3

Branching-Time Temporal Logic and Tree Automata

Orna Kupferman, Orna Grumberg

Journal:

Information and Computation

Year:

1996

Language:

english

File:

PDF, 460 KB

english, 1996

4

Soybean fungal soil-borne diseases: a parameter for measuring the effect of agricultural intensification on soil health

Pérez-Brandán, C., Huidobro, J., Grümberg, B., Scandiani, M.M., Luque, A.G., Meriles, J.M., Vargas-Gil, S.

Journal:

Canadian Journal of Microbiology

Year:

2014

File:

PDF, 2.47 MB

2014

5

Of Sons and (M)others: Notes on the The Spectropoetics of Exile in Autobiographical Writing by Amos Oz and Albert Cohen

Journal:

Year:

2010

Language:

english

File:

PDF, 408 KB

english, 2010

6

"The Whole Content of My Being Shrieks in Contradiction against Itself": Uncanny Selves in Sayed Kashua and Philip Roth

Grumberg, Karen

Journal:

Shofar An Interdisciplinary Journal of Jewish Studies

Year:

2018

Language:

english

File:

PDF, 559 KB

english, 2018

7

A proof rule for fair termination of guarded commands

Orna Grumberg, Nissim Francez, Johann A. Makowsky, Willem P. de Roever

Journal:

Information and Control

Year:

1985

Language:

english

File:

PDF, 885 KB

english, 1985

8

Long-term effect of tillage systems on soil microbiological, chemical and physical parameters and the incidence of charcoal rot by Macrophomina phaseolina (Tassi) Goid in soybean

Carolina Perez-Brandán, José L. Arzeno, Jorgelina Huidobro, Betiana Grümberg, Cinthia Conforto, Sally Hilton, Gary D. Bending, José M. Meriles, Silvina Vargas-Gil

Journal:

Crop Protection

Year:

2012

Language:

english

File:

PDF, 787 KB

english, 2012

9

[Lecture Notes in Computer Science] 25 Years of Model Checking Volume 5000 ||

Grumberg, Orna, Veith, Helmut

Year:

2008

Language:

english

File:

PDF, 42.39 MB

english, 2008

10

Nili Scharf Gold. Haifa: City of Steps. Waltham, MA: Brandeis University Press, 2018. 266 pp.

Grumberg, Karen

Journal:

Year:

2019

Language:

english

File:

PDF, 55 KB

english, 2019

11

Futurity: Contemporary Literature and the Quest for the Past by Amir Eshel

Grumberg, Karen

Journal:

Year:

2014

File:

PDF, 362 KB

2014

12

A complete rule for equifair termination

Orna Grumberg, Nissim Francez, Shmuel Katz

Journal:

Journal of Computer and System Sciences

Year:

1986

Language:

english

File:

PDF, 1.15 MB

english, 1986

13

Polymerisation et croissance des particules de carbone produites par une decharge electrique

L. Herman, J. Grumberg-Akriche, Ch. Granat

Journal:

Journal of Quantitative Spectroscopy and Radiative Transfer

Year:

1965

File:

PDF, 118 KB

1965

14

Characterizing finite Kripke structures in propositional temporal logic

M.C. Browne, E.M. Clarke, O. Grümberg

Journal:

Theoretical Computer Science

Year:

1988

Language:

english

File:

PDF, 1.75 MB

english, 1988

15

Stark broadening of sodium lines emitted by a sodium argon mixture plasma

J. Grumberg, G. Coulaud, Nguyen-Hoe

Journal:

Physics Letters A

Year:

1976

Language:

english

File:

PDF, 234 KB

english, 1976

16

Preface: volume 89

Lubos Brim, Orna Grumberg

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 30 KB

english, 2003

17

Different directions in parallel and distributed model checking: (invited talk)

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 29 KB

english, 2002

18

Preface: Volume 68 Issue 4

Lubos Brim, Orna Grumberg

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 39 KB

english, 2002

19

Preface: Volume 23, Issue 2

Alessandro Cimatti, Orna Grumberg

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 47 KB

english, 2001

20

Ist die Silikose eine „Kollagenkrankheit“?

Journal:

International Archives of Occupational and Environmental Health

Year:

1958

Language:

german

File:

PDF, 1022 KB

german, 1958

21

Modular abstractions for verifying real-time distributed systems

Hana De-Leon, Orna Grumberg

Journal:

Formal Methods in System Design

Year:

1993

Language:

english

File:

PDF, 1.56 MB

english, 1993

22

Verification of the Futurebus+ cache coherence protocol

Edmund M. Clarke, Orna Grumberg, Hiromi Hiraishi, Somesh Jha, David E. Long, Kenneth L. McMillan, Linda A. Ness

Journal:

Formal Methods in System Design

Year:

1995

Language:

english

File:

PDF, 960 KB

english, 1995

23

Fairness and hyperfairness in multi-party interactions

Paul C. Attie, Nissim Francez, Orna Grumberg

Journal:

Distributed Computing

Year:

1993

Language:

english

File:

PDF, 1.46 MB

english, 1993

24

Scalable distributed on-the-fly symbolic model checking

Shoham Ben-David, Orna Grumberg, Tamir Heyman, Assaf Schuster

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2003

Language:

english

File:

PDF, 324 KB

english, 2003

25

Test sequence generation and model checking using dynamic transition relations

Sérgio Campos, Orna Grumberg, Karen Yorav, Copty Fady

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2004

Language:

english

File:

PDF, 250 KB

english, 2004

26

Introductory paper

Luboš Brim, Orna Grumberg

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2005

Language:

english

File:

PDF, 235 KB

english, 2005

27

VeriTech: a framework for translating among model description notations

Orna Grumberg, Shmuel Katz

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2007

Language:

english

File:

PDF, 560 KB

english, 2007

28

Special section on advances in reachability analysis and decision procedures: contributions to abstraction-based system verification

Michael Huth, Orna Grumberg

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2009

Language:

english

File:

PDF, 207 KB

english, 2009

29

State space reduction using partial order techniques

E.M. Clarke, O. Grumberg, M. Minea, D. Peled

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

1999

Language:

english

File:

PDF, 182 KB

english, 1999

30

Distributed Symbolic Model Checking for μ-Calculus

Orna Grumberg, Tamir Heyman, Assaf Schuster

Journal:

Formal Methods in System Design

Year:

2005

Language:

english

File:

PDF, 1.19 MB

english, 2005

31

A work-efficient distributed algorithm for reachability analysis

Orna Grumberg, Tamir Heyman, Assaf Schuster

Journal:

Formal Methods in System Design

Year:

2006

Language:

english

File:

PDF, 550 KB

english, 2006

32

Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking

Sharon Barner, Orna Grumberg

Journal:

Formal Methods in System Design

Year:

2005

Language:

english

File:

PDF, 2.67 MB

english, 2005

33

The 2008 CAV Award citation

R. E. Bryant, O. Grumberg, T. A. Henzinger, M. Y. Vardi

Journal:

Formal Methods in System Design

Year:

2009

Language:

english

File:

PDF, 115 KB

english, 2009

34

2009 CAV award announcement

Randal E. Bryant, Orna Grumberg, Joseph Sifakis, Moshe Y. Vardi

Journal:

Formal Methods in System Design

Year:

2010

Language:

english

File:

PDF, 147 KB

english, 2010

35

Efficient Craig interpolation for linear Diophantine (dis)equations and linear modular equations

Himanshu Jain, Edmund M. Clarke, Orna Grumberg

Journal:

Formal Methods in System Design

Year:

2009

Language:

english

File:

PDF, 640 KB

english, 2009

36

Program composition via unification

Limor Fix, Nissim Francez, Orna Grumberg

Journal:

Theoretical Computer Science

Year:

1994

Language:

english

File:

PDF, 2.28 MB

english, 1994

37

Another Look at LTL Model Checking

Edmund M. Clarke, Orna Grumberg, Kiyoharu Hamaguchi

Journal:

Formal Methods in System Design

Year:

1997

Language:

english

File:

PDF, 421 KB

english, 1997

38

Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System

Sérgio Campos, Edmund M. Clarke, Orna Grumberg

Journal:

Formal Methods in System Design

Year:

2000

Language:

english

File:

PDF, 157 KB

english, 2000

39

Introduction: Special Issue on CAV '97

Journal:

Formal Methods in System Design

Year:

2001

Language:

english

File:

PDF, 7 KB

english, 2001

40

A Scalable Parallel Algorithm for Reachability Analysis of Very Large Circuits

Tamir Heyman, Danny Geist, Orna Grumberg, Assaf Schuster

Journal:

Formal Methods in System Design

Year:

2002

Language:

english

File:

PDF, 716 KB

english, 2002

41

Static Analysis for State-Space Reductions Preserving Temporal Logics

Karen Yorav, Orna Grumberg

Journal:

Formal Methods in System Design

Year:

2004

Language:

english

File:

PDF, 329 KB

english, 2004

42

[Lecture Notes in Computer Science] 25 Years of Model Checking Volume 5000 || Fifteen Years of Formal Property Verification in Intel

Grumberg, Orna, Veith, Helmut

Year:

2008

Language:

english

File:

PDF, 216 KB

english, 2008

43

Study of nonuniform broadening of EPR spectra by pulse saturation method

V. N. Sokolov, V. I. Muromtsev, A. N. Grumberg, B. Ya. Medvedev

Journal:

Theoretical and Experimental Chemistry

Year:

1969

Language:

english

File:

PDF, 135 KB

english, 1969

44

2010 CAV award announcement

Orna Grumberg, Moshe Y. Vardi, Joseph Sifakis, Rajeev Alur

Journal:

Formal Methods in System Design

Year:

2012

Language:

english

File:

PDF, 171 KB

english, 2012

45

Infinite trees, markings, and well-foundedness

Ran Rinat, Nissim Francez, Orna Grumberg

Journal:

Information and Computation

Year:

1988

Language:

english

File:

PDF, 1.29 MB

english, 1988

46

Reasoning about networks with many identical finite state processes

M.C. Browne, E.M. Clarke, O. Grumberg

Journal:

Information and Computation

Year:

1989

Language:

english

File:

PDF, 1.05 MB

english, 1989

47

Applicability of fair simulation

Doron Bustan, Orna Grumberg

Journal:

Information and Computation

Year:

2004

Language:

english

File:

PDF, 283 KB

english, 2004

48

When not losing is better than winning: Abstraction and refinement for the full μ-calculus

Orna Grumberg, Martin Lange, Martin Leucker, Sharon Shoham

Journal:

Information and Computation

Year:

2007

Language:

english

File:

PDF, 376 KB

english, 2007

49

3-Valued abstraction: More precision at less cost

Sharon Shoham, Orna Grumberg

Journal:

Information and Computation

Year:

2008

Language:

english

File:

PDF, 367 KB

english, 2008

50

Compositional verification and 3-valued abstractions join forces

Sharon Shoham, Orna Grumberg

Journal:

Information and Computation

Year:

2010

Language:

english

File:

PDF, 875 KB

english, 2010

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски